Yet more Texinfo 5 tweaks for admin.el's make-manuals
authorGlenn Morris <rgm@gnu.org>
Sat, 4 Jan 2014 02:31:56 +0000 (18:31 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 4 Jan 2014 02:31:56 +0000 (18:31 -0800)
commit066f46570a64df23ff131a42ee69c019fb916766
tree002434d4a55ed3c7156976b9f0d69862d05b6c71
parent60329396470e9659ced9bb63d33108b184032170
Yet more Texinfo 5 tweaks for admin.el's make-manuals

* admin.el (manual-html-fix-node-div): Handle Texinfo 5's movable <hr>.
(manual-html-fix-index-2): Tweak Texinfo 5 table format.
admin/ChangeLog
admin/admin.el